Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 1.Ident. | Authors (with country if any) | Title |
---|---|---|
001C97 | Rohit Chadha [États-Unis] ; Vincent Cheval [Royaume-Uni] ; Stefan Ciobaca [Roumanie] ; Steve Kremer [France] | Automated Verification of Equivalence Properties of Cryptographic Protocols |
This area was generated with Dilib version V0.6.33. |